/*
 * file: index.css
 **/

 body {
   padding: 0px;
   font: 14px "Lucida Grande", Helvetica, Arial, sans-serif;
 }

 .page {
   margin-top: 60px;
 }

 .row{
    overflow: hidden;
}

[class*="col-"]{
    margin-bottom: -99999px;
    padding-bottom: 99999px;
}

textarea {
    font-family: monospace;
}


.btn:focus,
.btn:active:focus,
.btn.active:focus,
.btn.focus,
.btn:active.focus,
.btn.active.focus {
  outline: none;
  box-shadow: none;
}

.form-control {
  margin-top: 10px;
}

.buttonArea {
  margin-top: 10px;
}

.option-title {
  margin-top: 10px;
}

.terminal-title,
.editor-title,
.plot-area,
.option-title {
  font-size: 20px;
}

.terminal-text-area {
  background-color: #ffffff;
}
